package edu.zju.gis.dbfg.server.service;


import edu.zju.gis.dbfg.common.Page;
import edu.zju.gis.dbfg.common.base.BaseService;
import edu.zju.gis.dbfg.server.model.Monitor;
import edu.zju.gis.dbfg.server.model.TaskRecord;

import java.util.List;

public interface TaskRecordService extends BaseService<TaskRecord, String> {
    List<TaskRecord> getByUser(String user);

    List<TaskRecord> getByUserWithState(String user, Monitor.FinalStatus status);

    List<TaskRecord> getByUserWithoutState(String user, Monitor.FinalStatus status);

    Page<TaskRecord> getPagesByUser(String user, Page page);

    int insert(TaskRecord taskRecord);
}
